// Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

class Mixin {}

class Super {
  var field = 42;

  Super(this.field);
}

class Class = Super with Mixin;

main() {
  // TODO(johnniwinther): The parameter is created before the super constructor
  //  parameter type is inferred. Set up a way to propagate the inferred type
  //  to its use sites.
  new Class('');
}
